logic semantics

[语] 逻辑语义学